(declare-const x2 Bool)
(declare-const x1 Bool)
(declare-const x3 Bool)
(declare-fun y () Int)
(declare-fun c () (Seq Int))
(declare-fun x () Int)
(declare-fun b () (Seq Int))
(declare-fun l () Bool)
(declare-fun l1 () Bool)
(declare-fun l18 () Bool)
(assert (and (or x3 x2) (= (seq.nth b 0) (seq.nth c x)) (distinct (seq.nth b y) (seq.nth c y))))
(assert (= l x1))
(check-sat)
